Leaked ISIS files likely genuine: German police